Software verification and validation - PDFSEARCH.IO - Document Search Engine

Software verification and validation
Results: 576

#	Item
11	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
12	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
13	NSQ100 Guidelines - Section E - DesignDecember Add to Reading List Source URL: www.nqsa.org Language: English - Date: 2012-10-24 11:50:25 Software engineering Value Evaluation Systems engineering Pharmaceutical industry Validity Quality Software quality Validation Verification and validation Software verification and validation Design review
14	CodeVerify A New Level of Security & Robustness Verification Codenomicon is the industry leader in bringing strength in visibility to connected systems and devices through a next-generation suite of tools and services th Add to Reading List Source URL: www.codenomicon.com Language: English - Date: 2016-07-06 08:58:36 Software testing Business Security Codenomicon Verification and validation Computer security
15	Proceedings of theAutomated Software Engineering Workshop on Software Certificate Management (SoftCeMent’05) Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cryptography Software quality Key management Public key infrastructure Public-key cryptography Formal methods Public key certificate Certificate authority Professional certification Reliability engineering Software verification and validation Software assurance
16	White Paper Point Lepreau Refurbishment: Project Programmable Digital Comparator (PDC) Replacement for SDS1 and SDS2 – Update 1 Authors: K.G. Fraser, N.M. Ichiyen and A.E. Condor (AECL) P.D. Thompson (New Brunswick Add to Reading List Source URL: iom.invensys.com Language: English - Date: 2011-03-25 09:55:08 Systems engineering Software testing Pharmaceutical industry Validity Software quality Triconex Wonderware Invensys Validation Reliability engineering Verification and validation Software verification and validation
17	Microsoft Word - VOX 1287 ms Add to Reading List Source URL: isbtweb.org Language: English - Date: 2014-12-29 10:16:42 Pharmaceutical industry Software quality Validity Quality Systems engineering Validation Verification and validation Software verification and validation Process validation Specification Quality management system Business process management
18	This article has been accepted for publication in IEEE Software but has not yet been fully edited. Some content may change prior to final publication. Effective Quality Management: Risk- and Value-based Software Quality Add to Reading List Source URL: www.isq.uni-koeln.de Language: English - Date: 2013-11-22 03:18:27 Systems engineering Software quality Pharmaceutical industry Validity Software project management Validation Quality assurance Risk management Verification and validation Software verification and validation Environmental Quality Management Quality management
19	Cyber Security Engineering Did you know…AREVA offers a diverse team of cyber security engineering resources as an extension of your team? And we understand that the real success is in an ongoing relationship — one wh Add to Reading List Source URL: us.areva.com Language: English - Date: 2015-06-29 11:30:38 Pharmaceutical industry Validity Areva EPR Computer security Verification and validation Validation Software verification and validation
20	Recommended Practice for Software Requirements Specifications (IEEE) Author: John Doe Revision: 29/Dec/11 Abstract: The content and qualities of a good software requirements specification (SRS) are described and several Add to Reading List Source URL: www.midori-global.com Language: English - Date: 2016-06-01 09:41:40 Software engineering IEEE standards Software requirements Software documentation Systems engineering Software requirements specification System requirements specification Requirement IEEE Standards Association SRS Software design description Software verification and validation